doi: 10.3981/j.issn.2097-0781.2023.01.010
针对历年来国家自然科学基金委员会（NSFC）在形式化方法领域各类型基金申请和资助情况进行统计和分析，并对涉及的重大研究计划和重大项目予以重点阐述和分析，最后对NSFC“十四五”发展规划中涉及形式化方法的部分予以解读。
